-
1 операция
operation вчт., making, operator, run, procedure, step* * *опера́ция ж.
operationвы́разить опера́цию че́рез штрих Ше́ффера ( в математической логике) — express an operation in terms of the Sheffer strokeзаверша́ть опера́цию — complete an operationза одну́ опера́цию — in one operationопера́ция над … мат. — operation on …начина́ть опера́цию вчт. — initiate an operationосуществля́ть [реализова́ть] опера́цию, напр. умноже́ния — perform the operation of, e. g., multiplicationосуществля́ть [реализова́ть] опера́цию умноже́ния с примене́нием, напр. сумми́рования и сдви́га вчт. — perform [carry out] multiplication by the combined operations of, e. g., addition and shiftingплани́ровать опера́цию вхо́да-вы́хода вчт. — schedule an input-output [I/ O] operationпрекраща́ть опера́цию вчт. — terminate an operationсовмеща́ть опера́ции (напр. чтения, записи и обработки данных) — overlap (e. g., read, write and process) operationsсовмеща́ть (выполне́ние) опера́ции вчт. — overlap operationsарифмети́ческая опера́ция — arithmetic(al) operation, arithmetic(s)арифмети́ческая опера́ция над поря́дками — exponent arithmetic(s)арифмети́ческая опера́ция с двойно́й то́чностью — double precision arithmetic(s)арифмети́ческая опера́ция с пла́вающей запято́й — floating-point arithmetic(s)арифмети́ческая опера́ция с фикси́рованной запято́й — fixed-point arithmeticsвычисли́тельная опера́ция — computationопера́ция Г ( в алгебре логики) — Pierce strokeопера́ция за́писи — write operationопера́ция запре́та — inhibit operationопера́ция И — AND operationопера́ция ИЛИ — OR operationлоги́ческая опера́ция — logical operationреализова́ть логи́ческую опера́цию аппарату́рно [физи́чески] — instrument [mechanize] a logical functionмаши́нная опера́ция — computer operationнала́дочная опера́ция — setting-up, adjustment, tuningопера́ция НЕ — NOT operationопера́ция «НЕ-И» — NAND operationопера́ция «НЕ-ИЛИ» — NOR operationнеобрати́мая опера́ция — irreversible operationотде́лочная опера́ция — finishing operationопера́ция отноше́ния ( в АЛГОЛе) — relation(al) operatorпо́лная опера́ция вчт. — complete operationпроизво́дственная опера́ция — ( в обрабатывающих отраслях) manufacturing operation; ( в перерабатывающих отраслях) processing operationплани́ровать произво́дственные опера́ции — schedule the operationsпроизво́дственная опера́ция обслу́живания — service operationпроизво́дственная, основна́я опера́ция — productive operationпроизво́дственные, вспомога́тельные опера́ции — auxiliary operationsопера́ция развё́ртывания ( в алгебре логики) — expansionраздели́тельная опера́ция метал. — shearing operationопера́ция счи́тывания — read operationтехнологи́ческая опера́ция — production operationопера́ция управле́ния — control operation -
2 элемент ложь
Mathematics: falsum (в алгебре логики) -
3 связка
( в радиовещательной передаче) bridge, bunch, bundle, pack, pile, anode strap, strap* * *свя́зка ж.1. bundle2. ( в алгебре логики) connectiveсвя́зка И — AND connectiveсвя́зка ИЛИ — OR connective -
4 диаграмма Венна
( в алгебре логики) Venn diagram мат.Русско-английский научно-технический словарь Масловского > диаграмма Венна
-
5 положительное высказывание
( в алгебре логики) positive statement мат.Русско-английский научно-технический словарь Масловского > положительное высказывание
См. также в других словарях:
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Алгебра логики — Не следует путать с булевой алгеброй. Алгебра логики (алгебра высказываний) раздел математической логики, в котором изучаются логические операции над высказываниями[1]. Чаще всего предполагается (т. н. бинарная или двоичная логика, в… … Википедия
алгебра логики — АЛГЕБРА ЛОГИКИ исторически первая форма математической (символической) логики, сложившаяся к последней трети 19 в. К ее созданию привела аналогия между решением алгебраических уравнений и выводом следствий из посылок, а также то, что… … Энциклопедия эпистемологии и философии науки
МНОГОЗНАЧНЫЕ ЛОГИКИ — МНОГОЗНАЧНЫЕ ЛОГИКИ обобщение классической двузначной логики (см. Логика высказываний) к примеру, посредством которого к обычным истинностным значениям “истина” и “ложь” добавляются и другие (промежуточные) значения. Этот факт указывает на то … Философская энциклопедия
МНОГОЗНАЧНЫЕ ЛОГИКИ – — обобщение классической двузначной логики (см. Логика высказываний) к примеру, посредством которого к обычным истинностным значениям «истина» и «ложь» добавляются и другие (промежуточные) значения. Этот факт указывает на то, что принцип… … Философская энциклопедия
Сибирская школа алгебры и логики — Сибирская школа алгебры и логики научная школа под руководством академика РАН Ю. Л. Ершова, формирование которой начиналось с работ научного руководителя Ю. Л. Ершова, академика АН СССР А. И. Мальцева. Участниками научной… … Википедия
Сибирская школа Алгебры и Логики — научная школа под руководством академика РАН Ю.Л. Ершова, формирование которой начиналось с работ научного руководителя Ю.Л. Ершова, академика АН СССР А.И. Мальцева. Участниками научной школы (помимо самого Ю.Л. Ершова) являются чл. корр. РАН В.Д … Википедия
ФОРМАЛЬНАЯ ЭТИКА — раздел (аспект) этики, в котором исследуются морально правовые (или просто моральные) формы поведения (абстрагированные от его нравственно правового содержания) с целью нахождения формальных критериев правильности поведения. (Термин право… … Современный философский словарь
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ИДЕМПОТЕНТНОСТЬ — (от лат. idem – тот же самый и potens – сильный, мощный; букв. – равносильность) – свойство нек рых объектов, рассматриваемое в логике (и алгебре) и выражаемое в общем случае формулой a*a=a. В частных случаях в формуле, выражающей И., может… … Философская энциклопедия